Skip to content

Conversation

@syphar
Copy link
Member

@syphar syphar commented Nov 15, 2025

I'm still running the cleanup command for, now again with #2994 .

When that's finished, I'll merge this PR.

@syphar syphar requested a review from a team as a code owner November 15, 2025 15:34
@syphar syphar self-assigned this Nov 15, 2025
@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Nov 15, 2025
@syphar syphar force-pushed the compression-update branch from 77379d7 to 9d11b5c Compare November 17, 2025 08:06
@syphar syphar merged commit 1d46f01 into rust-lang:master Nov 17, 2025
11 checks passed
@syphar syphar deleted the compression-update branch November 17, 2025 11:47
@github-actions github-actions bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Nov 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants